<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>HIPAA in Prolog</title>
<meta name="keywords" content="" />
<meta name="description" content="" />
<link href="default.css" rel="stylesheet" type="text/css" />
</head>
<body>

<div id="wrapper">

<!-- start header 
<div id="header">
	<div id="menu">
		<ul>
			<li class="current_page_item"><a href="#">Homepage</a></li>
			<li><a href="#">Blogs</a></li>
			<li><a href="#">Photos</a></li>
			<li><a href="#">About</a></li>
			<li class="last"><a href="#">Contact</a></li>
		</ul>
	</div>
</div>
 end header -->

<div id="logo">
	<h1><a href="./index.html">HIPAA Compliance Checker  </a></h1>
</div>

<!-- start page -->
<div id="page">
	<!-- start content -->
	<div id="content">
		<div class="post">
			<h1 class="title">Prolog Translation </h1>
			<div class="entry">
				<p>The HIPAA laws have been encoded in the programming language <a href="http://en.wikipedia.org/wiki/Prolog">
				Prolog</a>. The laws are expressed as a list of rules in Prolog, and each set of conditions inputted into the 
				compliance checker is assembled into a query. The case is deemed to be legal only if that query evaluates to 
				being logically possible when checked against the rules. Otherwise, we conclude that it is not permitted by 
				the HIPAA laws. </p>
			</div>
		</div>

		<div class="post">
			<h1 class="title">Prolog Syntax Basics</h1>
			<div class="entry"> 
				<p>' ,' represents an AND <br />
				' ; ' represents an OR <br />
				A rule of the form " a :- b; (c, d). "  literally means 'a' is true if 'b' is true OR both 'c' AND 'd' are true.</p>
			</div>
		</div>


	</div>	
	<!-- end content -->


	<!-- start sidebar -->
	<div id="sidebar">
		<h2>Formal Law</h2>
		<ul>
			<li><a href="prolog_source.html">Prolog Source</a></li>
			<li><a href="hospital_facts.html">Hospital enviroment</a></li>
		</ul>
		<h2>Example Usage</h2>
		<ul>
			<li><a href="#">HIPAA Training and Education</a></li>
			<li><a href="#">HIPAA advisory</a></li>
			<li><a href="messages/">HIPAA Complaint Messaging System</a></li>
		</ul>
	</div>
	<!-- end sidebar -->
	<div style="clear: both;">&nbsp;</div>
</div>
<!-- end page -->
<!-- start footer -->
<div id="footer">
	<div id="footer-wrap">
	<p id="legal">(c) 2009 <a href="http://cs.stanford.edu/">Stanford Computer Science Department</a>.</p>
	</div>
</div>
<!-- end footer -->

</div>

</body>
</html>
